Types of Concurrent Programs